package edu.kit.aifb.ruleintegrator.rule;
/**
 * A wrapper class for rule predicates
 * @author bicer
 *
 */
public class RulePredicate {
	
	private Predicate m_predicate;
	private SignatureMapping m_mapping;
	
	public RulePredicate(Predicate pred,SignatureMapping sm){
		this.m_predicate=pred;
		this.m_mapping=sm;
	}

}
